Vivid Agents Arguing about Distributed Extended Logic Programs

نویسندگان

  • Michael Schroeder
  • Iara de Almeida Móra
  • José Júlio Alferes
چکیده

Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this paper we extend the initial argumentation framework to a multi-agent setting including both argumentation and cooperation. We define inference for multi-agent systems and define an algorithm for inference. We sketch an argumentation protocol and line out by an example how it is implemented using vivid agents [15,13].

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Diagnostic Agents for Distributed Systems

In this paper we introduce an agent{based framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols. Submission I...

متن کامل

Distributed Contingency Logic and Security

In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...

متن کامل

Multi-agent Abductive Reasoning with Confidentiality (Extended Abstract)

In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about their environments, and the union of such knowledge is still incomplete to represent the whole world. Thus, given a global query they need to collaborate with each other to make correct inferences and hypothesis, whilst maintaining global constraints. There are many real world applications in whi...

متن کامل

Argumentation and Cooperation for Distributed Extended Logic Programs Argumentation and Cooperation for Distributed Extended Logic Programs

Argumentation semantics in extended logic programming has been deened in 3, 10] for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an algorithm for inference in the framework and an example to show the process of cooperation and argum...

متن کامل

Argumentation and Cooperation for Distributed Extended Logic Programs

Argumentation semantics in extended logic programming has been deened in (Dung 1993; Prakken & Sar-tor 1997) for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an inference algorithm for the framework and an example showing the proces...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997